Dr Guillaume Allais

Strathclyde Chancellor's Fellow

Computer and Information Sciences

Contact

Back to staff profile

Publications

Scoped and typed staging by evaluation
Allais Guillaume
PEPM 2024 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, pp. 83-93 (2024)
https://doi.org/10.1145/3635800.3636964
Builtin types viewed as inductive families
Allais Guillaume
Programming Languages and Systems. ESOP 2023 European Symposium on Programming Lecture Notes in Computer Science Vol 13990 LNCS, pp. 113-139 (2023)
https://doi.org/10.1007/978-3-031-30044-8_5
Type theory as a language workbench
de Muijnck-Hughes Jan, Allais Guillaume, Brady Edwin
Eelco Visser Commemorative Symposium (EVCS 2023) Open Access Series in Informatics (OASIcs) Vol 109 (2023)
https://doi.org/10.4230/OASIcs.EVCS.2023.9
A type and scope safe universe of syntaxes with binding : their semantics and proofs
Allais Guillaume, Atkey Robert, Chapman James, McBride Conor, McKinna James
Journal of Functional Programming Vol 31 (2021)
https://doi.org/10.1017/S0956796820000076
POPLMark reloaded : mechanizing proofs by logical relations
Abel Andreas, Allais Guillaume, Hameer Aliya, Pientka Brigitte, Momigliano Alberto, Schäfer Steven, Stark Kathrin
Journal of Functional Programming Vol 29 (2019)
https://doi.org/10.1017/S0956796819000170
Generic level polymorphic N-ary functions
Allais Guillaume
TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019 4th ACM SIGPLAN International Workshop on Type-Driven Development, pp. 14-26 (2019)
https://doi.org/10.1145/3331554.3342604

More publications

Back to staff profile

Contact

Dr Guillaume Allais
Strathclyde Chancellor's Fellow
Computer and Information Sciences

Email: guillaume.allais@strath.ac.uk
Tel: Unlisted